THE POINTED SUBOBJECT FUNCTOR, 3× 3 LEMMAS, AND SUBTRACTIVITY OF SPANS Dedicated to Dominique Bourn on the occasion of his sixtieth birthday

The notion of a subtractive category recently introduced by the author, is a pointed categorical counterpart of the notion of a subtractive variety of universal algebras in the sense of A. Ursini (recall that a variety is subtractive if its theory contains a constant 0 and a binary term s satisfying s(x, x) = 0 and s(x, 0) = x). Let us call a pointed regular category C normal if every regular epimorphism in C is a normal epimorphism. It is well known that any homological category in the sense of F. Borceux and D. Bourn is both normal and subtractive. We prove that in any subtractive normal category, the upper and lower 3× 3 lemmas hold true, which generalizes a similar result for homological categories due to D. Bourn (note that the middle 3 × 3 lemma holds true if and only if the category is homological). The technique of proof is new: the pointed subobject functor S = Sub(−) : C → Set∗ turns out to have suitable preservation/reflection properties which allow us to reduce the proofs of these two diagram lemmas to the standard diagram-chasing arguments in Set∗ (alternatively, we could use the more advanced embedding theorem for regular categories due to M. Barr). The key property of S, which allows to obtain these diagram lemmas, is the preservation of subtractive spans. Subtractivity of a span provides a weaker version of the rule of subtraction — one of the elementary rules for chasing diagrams in abelian categories, in the sense of S. Mac Lane. A pointed regular category is subtractive if and only if every span in it is subtractive, and moreover, the functor S not only preserves but also reflects subtractive spans. Thus, subtractivity seems to be exactly what we need in order to prove the upper/lower 3 × 3 lemmas in a normal category. Indeed, we show that a normal category is subtractive if and only if these 3 × 3 lemmas hold true in it. Moreover, we show that for any pointed regular category C (not necessarily a normal one), we have: C is subtractive if and only if the lower 3× 3 lemma holds true in C. Introduction Homological categories in the sense of F. Borceux and D. Bourn [2] provide a convenient non-abelian setting for proving homological lemmas such as the 3× 3 lemmas, the short five lemma and the snake lemma (see [4, 2]). The aim of the present paper is to show Partially supported by INTAS (06-1000017-8609) and Georgian National Science Foundation (GNSF/ST06/3-004, GNSF/ST09 730 3-105). Received by the editors 2009-06-01 and, in revised form, 2010-04-19. Published on 2010-04-24 in the Bourn Festschrift. 2000 Mathematics Subject Classification: 18G50, 18C99.